Comparing DNR and WWKL
نویسندگان
چکیده
In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL0 (weak weak König’s
منابع مشابه
Vitali's Theorem and WWKL
Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We show that pairwise disjoint countable additivity for open sets of reals is provable in RCA0. We show that several well-known measure-theoretic propositions including the Vitali Covering Theorem are equivalent to WWKL over RCA0.
متن کاملHospital usage of early do-not-resuscitate orders and outcome after intracerebral hemorrhage.
BACKGROUND AND PURPOSE Do-not-resuscitate (DNR) orders are commonly used after severe stroke. We hypothesized that there is significant variability in how these orders are applied after intracerebral hemorrhage and that this influences outcome. METHODS From a database of all admissions to nonfederal hospitals in California, discharge abstracts were obtained for all patients with a primary dia...
متن کاملFluorescence spectra of cardiac myosin and in vivo experiment: studies on daunorubicin-induced cardiotoxicity
Objective(s):The objective of this study was to investigate the interaction of daunorubicin (DNR) and cardiac myosin (CM) and the changes in mice hearts to exhibit DNR-induced cardiotoxicity . Materials and Methods:The interaction between DNR and CM was expressed using fluorescence quenching at pH 4.0-9.0 and 15-37 °C. DNR-induced cardiotoxicity was studied using in vivo experiment. Forty grou...
متن کاملHigh Doses of Daunorubicin during Induction Therapy of Newly Diagnosed Acute Myeloid Leukemia: A Systematic Review and Meta-Analysis of Prospective Clinical Trials
The right dose of daunorubicin (DNR) for the treatment of newly diagnosed acute myeloid leukemia (AML) is uncertain. Previous trials have shown conflicting results concerning the efficacy of high or low doses of daunorubicin to induction chemotherapy for newly diagnosed AML. A systematic review and meta-analysis was conducted to resolve this controversial issue. We compared the efficacy and saf...
متن کاملRandomized trial comparing liposomal daunorubicin with idarubicin as induction for pediatric acute myeloid leukemia: results from Study AML-BFM 2004.
Outcomes of patients with acute myeloid leukemia (AML) improve significantly by intensification of induction. To further intensify anthracycline dosage without increasing cardiotoxicity, we compared potentially less cardiotoxic liposomal daunorubicin (L-DNR) to idarubicin at a higher-than-equivalent dose (80 vs 12 mg/m(2) per day for 3 days) during induction. In the multicenter therapy-optimiza...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 69 شماره
صفحات -
تاریخ انتشار 2004